top_command (cmd_load currentFile [])
goal_command 1 (cmd_compute DefaultCompute) "ap2 {a} {b} {_} {A} {_} {_} (λ _ _ → fn ≡ fn) pa _"